операция отрицания эквивалентности

См. также в других словарях:

• Логическая операция —         в ЦВМ, поразрядная операция над кодами произвольной длины по правилам алгебры логики. Л. о. производится над всеми цифрами кодов одна и та же, при этом каждая цифра результата зависит не более чем от одной цифры одного или нескольких… …   Большая советская энциклопедия

• Логические элементы — Логические элементы  устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого  «1» и низкого  «0» уровней в двоичной логике, последовательность «0», «1» и «2» в троичной логике,… …   Википедия

• ПОЛОЖИТЕЛЬНАЯ ЛОГИКА —         логика, в которой приемлемыми считаются рассуждения, не связанные с опровержениями, т. е. с обоснованиями ложности высказываний. Поскольку выражение «А ложно» есть лишь иная форма выражения «не А», в П. л. отказываются от любых способов… …   Философская энциклопедия

• АЛГЕБРА ЛОГИКИ —         система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …   Философская энциклопедия

• ИДЕМПОТЕНТНОСТЬ — (от лат. idem – тот же самый и potens – сильный, мощный; букв. – равносильность) – свойство нек рых объектов, рассматриваемое в логике (и алгебре) и выражаемое в общем случае формулой a*a=a. В частных случаях в формуле, выражающей И., может… …   Философская энциклопедия

• СРАВНЕНИЕ —         познават. операция, лежащая в основе суждений о сходстве или различии объектов; с помощью С. выявляются количеств. и качеств. характеристики предметов, классифицируется, упорядочивается и оценивается содержание бытия и познания. Сравнить… …   Философская энциклопедия

• ПРОСТРАНСТВО И ВРЕМЯ — категории, обозначающие осн. формы существования материи. Пр во (П.) выражает порядок сосуществования отд. объектов, время (В.) порядок смены явлений. П. и в. осн. понятия всех разделов физики. Они играют гл. роль на эмпирич. уровне физ. познания …   Физическая энциклопедия

• Сравнение (программирование) — У этого термина существуют и другие значения, см. Сравнение. Сравнение в программировании  общее название ряда операций над парами значений одного типа, реализующих математические отношения равенства и порядка. В языках высокого уровня такие …   Википедия

• Тильда — (исп. tilde, от лат. titulus надпись)         знак (строчный, надстрочный или подстрочный) в виде волнистой чёрточки (Тильда) размера Дефиса пли Тире. В лингвистике может означать назальность гласного в транскрипции ( Ударение) (в греческом) или… …   Большая советская энциклопедия

• ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

• МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М …   Философская энциклопедия